MiniMAO1 : An imperative core language for studying aspect-oriented reasoning
نویسندگان
چکیده
منابع مشابه
MiniMAO: An imperative core language for studying aspect-oriented reasoning
This paper describesMiniMAO1, a core aspect-oriented language. Unlike previous aspect-oriented calculi and core languages, MiniMAO1 allows around advice to change the target object of an advised operation before proceeding. MiniMAO1 accurately models the ways AspectJ allows changing the target object, e.g., at call join points. Practical uses for changing the target object using advice include ...
متن کاملAn Aspect-Oriented Programming Language for Agile Software Development
This thesis proposes two new language constructs for aspect-oriented programming (AOP) and a new AOP language that provides those language constructs. AOP is useful for agile software development. However, existing AOP languages have not been used on agile software development yet. This is because existing AOP languages are not good enough for agile software development. This thesis first anali...
متن کاملMiniMAO1: Investigating the Semantics of Proceed
This paper describes MiniMAO1, a core aspect-oriented calculus. Unlike previous aspectoriented calculi, it allows around advice to change the target object of an advised operation before proceeding. MiniMAO1 accurately models the ways AspectJ allows changing the target object, e.g., at call join points. Practical uses for changing the target object using advice include proxies and other wrapper...
متن کاملMiniMAO: Investigating the Semantics of Proceed
This paper describes the semantics of MiniMAO1, a core aspectoriented calculus. Unlike previous aspect-oriented calculi, it allows around advice to change the target object of an advised operation before proceeding. MiniMAO1 accurately models the ways AspectJ allows changing the target object, e.g., at call join points. Practical uses for changing the target object using advice include proxies ...
متن کاملAspect-Oriented Language Mechanisms for Component Binding
Domain Specific Languages (DSLs) are programming languages customized for a problem/solution domain, which allow development of software modules in high-level specifications. Code generation is a common practice for making DSL programs executable: A DSL specification is transformed to a functionally equivalent GPL (general-purpose programing language) representation. Integrating the module gene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2006
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.02.009